x86/msr: Correct the definition of MSR_IA32_APICBASE_BASE
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 5 Aug 2016 13:51:13 +0000 (14:51 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 3 Oct 2017 16:45:24 +0000 (17:45 +0100)
commitdbc4b6e13a5d0dd8967cde7ff7000ab1ed88625e
tree9a1ea26d74b22100e774cb493f3e21ef6dc5df6a
parent60823b39a1f3788b7ea98bdaf1eda987156f4c87
x86/msr: Correct the definition of MSR_IA32_APICBASE_BASE

0xfffff << 12 is undefined behaviour, due to shifting into the sign bit of an
integer.

Spotted by the Undefined Behaviour Sanitiser

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
xen/include/asm-x86/msr-index.h